Hit that push button: Using LinkedIn to improve your reputation and writing

Push-button Synthesis or, Using dc_perl to do_the_right_thing

We have developed a methodology to automatically synthesize large hierarchical designs. This methodology combines the advantages of bottom-up compilation with top-down rebudgeting. Starting with only the Verilog source code, all required makefiles, synthesis scripts, and constraint files are automatically derived. An overconstraining leaf module time-budgeting method is used for initial synthes...

Commentary: Push–button analyses

How Can Search Engines Improve Your Writing?

The basis of the study reported in this article sprang from the assumption that incorporating the use of web search engines such as Google or Yahoo into English as a second language (ESL) writing may be useful for learners in identifying grammatical errors in their texts. The study has measured the effectiveness on reducing the number of grammatical errors by way of a simple method which divide...

A push-button molecular switch.

The preparation, characterization, and switching mechanism of a unique single-station mechanically switchable hetero[2]catenane are reported. The facile synthesis utilizing a "threading-followed-by-clipping" protocol features Cu(2+)-catalyzed Eglinton coupling as a mild and efficient route to the tetrathiafulvalene-based catenane in high yield. The resulting mechanically interlocked molecule op...

Golok: Push-button Verification of Parameterized Systems

Parameterized systems verification is a long-standing problem, where the challenge is to verify that a property holds for all (infinite) instances of the parameterized system. Existing techniques aim to reduce this problem to checking the properties on smaller systems with a bound on the parameter referred to as the "cut-off " such that if the property holds for system instances of size cut-off...